#include <stdio.h>

int main(){
  FILE * f=fopen("tin", "w");
  int n=1000, i;
  fprintf(f,"1000\n");
  for(i=0; i<n; i++){
    fprintf(f, "10000.00\n");
  }
  fprintf(f,"0");
  fclose(f);
  return 0;
}
